Π1-uniformization Principle for Reals
نویسندگان
چکیده
We introduce a Π1-uniformization principle and establish its equivalence with the set-theoretic hypothesis (ω1) = ω1. This principle is then applied to derive the equivalence, to suitable set-theoretic hypotheses, of the existence of Π1 maximal chains and thin maximal antichains in the Turing degrees. We also use the Π1-uniformization principle to study Martin’s conjectures on cones of Turing degrees, and show that under V = L the conjectures fail for uniformly degree invariant Π1 functions.
منابع مشابه
A Π1-uniformization Principle for Reals
We introduce a Π1-uniformization principle and establish its equivalence with the set-theoretic hypothesis (ω1) = ω1. This principle is then applied to derive the equivalence, to suitable set-theoretic hypotheses, of the existence of Π1 maximal chains and thin maximal antichains in the Turing degrees. We also use the Π1-uniformization principle to study Martin’s conjecture on cones of Turing de...
متن کاملCDMTCS Research Report Series Higher Randomness Notions and Their Lowness Properties
We study randomness notions given by higher recursion theory, establishing the relationships Π1-randomness ⊂ Π1-Martin-Löf randomness ⊂ ∆1randomness = ∆1-Martin-Löf randomness. We characterize the set of reals that are low for ∆1 randomness as precisely those that are ∆1 -traceable. We prove that there is a perfect set of such reals.
متن کاملHigher Randomness Notions and Their Lowness Properties
We study randomness notions given by higher recursion theory, establishing the relationships Π1-randomness ⊂ Π1-Martin-Löf randomness ⊂ ∆1randomness = ∆1-Martin-Löf randomness. We characterize the set of reals that are low for ∆1 randomness as precisely those that are ∆ 1 1 -traceable. We prove that there is a perfect set of such reals.
متن کاملRandomness in the Higher Setting
We study the strengths of various notions of higher randomness: (i) strong Π1-ML-randomness is separated from Π 1 1-ML-randomness; (ii) the hyperdegrees of Π1-random reals are closed downwards (except for the trivial degree); (iii) the reals z in NCRΠ11 are precisely those satisfying z ∈ Lωz 1 ; and (iv) lowness for ∆1-randomness is strictly weaker than that for Π 1 1-randomness.
متن کاملOn Spherical CR Uniformization of 3-Manifolds
We consider the discrete representations of 3-manifold groups into PU(2, 1) that appear in the Falbel-Koseleff-Rouillier, such that the peripheral subgroups have cyclic unipotent holonomy. We show that two of these representations have conjugate images, even though they represent different 3-manifold groups. This illustrates the fact that a discrete representation π1(M) → PU(2, 1) with cyclic u...
متن کامل